Static Analysis C++